Buy Used and New Rolf Drechsler Books

Formal Verification of Circuits

by Rolf Drechsler

ISBN 13: 9781441949851

Format: Paperback (192 pages)
Publisher: Springer US
Published: 19 Feb 2010

Save for later

Formal System Verification: State-of the-Art and Future Trends

by Rolf Drechsler

ISBN 13: 9783319862231

Format: Paperback (200 pages)
Publisher: Springer
Published: 10 Aug 2018

Save for later

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

by Rolf Drechsler, Mathias Soeken

ISBN 13: 9783030203252

Format: Paperback (273 pages)
Publisher: Springer
Published: 14 Aug 2020

Save for later

In-Memory-Computing: Synthese und Optimierung

by Saeideh Shirinzadeh, Rolf Drechsler

ISBN 13: 9783031228780

Format: Hardcover (132 pages)
Publisher: Springer Vieweg
Published: 08 Jun 2023

Save for later

Erweiterte virtuelle Prototypen für heterogene Systeme

by Hassan, Muhammad Muhammad Hassan, Daniel Große, Rolf Drechsler,

ISBN 13: 9783031531514

Format: hardcover
Publisher: Springer Vieweg

Save for later